INTERNAL FRICTION AND YOUNG'S MODULUS MEASUREMENTS ON SiO2 AND Ta2O5 FILMS DONE WITH AN ULTRA-HIGH Q SILICON-WAFER SUSPENSION

International audienceIn order to study the internal friction of thin films a nodal suspension system called GeNS (Gentle Nodal Suspension) has been developed. The key features of this system are: i) the possibility to use substrates easily available like silicon wafers; ii) extremely low excess losses coming from the suspension system which allows to measure Q factors in excess of 2×10^8 on 3 " diameter wafers; iii) reproducibility of measurements within few percent on mechanical losses and 0.01% on resonant frequencies; iv) absence of clamping; v) the capability to operate at cryogenic temperatures. Measurements at cryogenic temperatures on SiO 2 and at room temperature only on Ta2O5 films deposited on silicon are presented

Interrupt Timed Automata: verification and expressiveness

We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment. While the reachability problem is undecidable for hybrid automata we show that it is decidable for ITA. More precisely we prove that the untimed language of an ITA is regular, by building a finite automaton as a generalized class graph. We then establish that the reachability problem for ITA is in NEXPTIME and in PTIME when the number of clocks is fixed. To prove the first result, we define a subclass ITA- of ITA, and show that (1) any ITA can be reduced to a language-equivalent automaton in ITA- and (2) the reachability problem in this subclass is in NEXPTIME (without any class graph). In the next step, we investigate the verification of real time properties over ITA. We prove that model checking SCL, a fragment of a timed linear time logic, is undecidable. On the other hand, we give model checking procedures for two fragments of timed branching time logic. We also compare the expressive power of classical timed automata and ITA and prove that the corresponding families of accepted languages are incomparable. The result also holds for languages accepted by controlled real-time automata (CRTA), that extend timed automata. We finally combine ITA with CRTA, in a model which encompasses both classes and show that the reachability problem is still decidable. Additionally we show that the languages of ITA are neither closed under complementation nor under intersection

Reconstruction of the gravitational wave signal h(t)h(t) during the Virgo science runs and independent validation with a photon calibrator

The Virgo detector is a kilometer-scale interferometer for gravitational wave detection located near Pisa (Italy). About 13 months of data were accumulated during four science runs (VSR1, VSR2, VSR3 and VSR4) between May 2007 and September 2011, with increasing sensitivity. In this paper, the method used to reconstruct, in the range 10 Hz-10 kHz, the gravitational wave strain time series $h(t)$ from the detector signals is described. The standard consistency checks of the reconstruction are discussed and used to estimate the systematic uncertainties of the $h(t)$ signal as a function of frequency. Finally, an independent setup, the photon calibrator, is described and used to validate the reconstructed $h(t)$ signal and the associated uncertainties. The uncertainties of the $h(t)$ time series are estimated to be 8% in amplitude. The uncertainty of the phase of $h(t)$ is 50 mrad at 10 Hz with a frequency dependence following a delay of 8 $\mu$s at high frequency. A bias lower than $4\,\mathrm{\mu s}$ and depending on the sky direction of the GW is also present.Comment: 35 pages, 16 figures. Accepted by CQ

Virgo calibration and reconstruction of the gravitational wave strain during VSR1

Virgo is a kilometer-length interferometer for gravitational waves detection located near Pisa. Its first science run, VSR1, occured from May to October 2007. The aims of the calibration are to measure the detector sensitivity and to reconstruct the time series of the gravitational wave strain h(t). The absolute length calibration is based on an original non-linear reconstruction of the differential arm length variations in free swinging Michelson configurations. It uses the laser wavelength as length standard. This method is used to calibrate the frequency dependent response of the Virgo mirror actuators and derive the detector in-loop response and sensitivity within ~5%. The principle of the strain reconstruction is highlighted and the h(t) systematic errors are estimated. A photon calibrator is used to check the sign of h(t). The reconstructed h(t) during VSR1 is valid from 10 Hz up to 10 kHz with systematic errors estimated to 6% in amplitude. The phase error is estimated to be 70 mrad below 1.9 kHz and 6 micro-seconds above.Comment: 8 pages, 8 figures, proceedings of Amaldi 8 conference, to be published in Journal of Physics Conference Series (JPCS). Second release: correct typo

Calibration and sensitivity of the Virgo detector during its second science run

The Virgo detector is a kilometer-length interferometer for gravitational wave detection located near Pisa (Italy). During its second science run (VSR2) in 2009, six months of data were accumulated with a sensitivity close to its design. In this paper, the methods used to determine the parameters for sensitivity estimation and gravitational wave reconstruction are described. The main quantities to be calibrated are the frequency response of the mirror actuation and the sensing of the output power. Focus is also put on their absolute timing. The monitoring of the calibration data as well as the parameter estimation with independent techniques are discussed to provide an estimation of the calibration uncertainties. Finally, the estimation of the Virgo sensitivity in the frequency-domain is described and typical sensitivities measured during VSR2 are shown.Comment: 30 pages, 23 figures, 1 table. Published in Classical and Quantum Gravity (CQG), Corrigendum include

Sensitivity Studies for Third-Generation Gravitational Wave Observatories

Advanced gravitational wave detectors, currently under construction, are expected to directly observe gravitational wave signals of astrophysical origin. The Einstein Telescope, a third-generation gravitational wave detector, has been proposed in order to fully open up the emerging field of gravitational wave astronomy. In this article we describe sensitivity models for the Einstein Telescope and investigate potential limits imposed by fundamental noise sources. A special focus is set on evaluating the frequency band below 10Hz where a complex mixture of seismic, gravity gradient, suspension thermal and radiation pressure noise dominates. We develop the most accurate sensitivity model, referred to as ET-D, for a third-generation detector so far, including the most relevant fundamental noise contributions.Comment: 13 pages, 7 picture

Scientific Potential of Einstein Telescope

Einstein gravitational-wave Telescope (ET) is a design study funded by the European Commission to explore the technological challenges of and scientific benefits from building a third generation gravitational wave detector. The three-year study, which concluded earlier this year, has formulated the conceptual design of an observatory that can support the implementation of new technology for the next two to three decades. The goal of this talk is to introduce the audience to the overall aims and objectives of the project and to enumerate ET's potential to influence our understanding of fundamental physics, astrophysics and cosmology.Comment: Conforms to conference proceedings, several author names correcte

Scientific Objectives of Einstein Telescope

The advanced interferometer network will herald a new era in observational astronomy. There is a very strong science case to go beyond the advanced detector network and build detectors that operate in a frequency range from 1 Hz-10 kHz, with sensitivity a factor ten better in amplitude. Such detectors will be able to probe a range of topics in nuclear physics, astronomy, cosmology and fundamental physics, providing insights into many unsolved problems in these areas.Comment: 18 pages, 4 figures, Plenary talk given at Amaldi Meeting, July 201